Aperiodic String Transducers

Regular string-to-string functions enjoy a nice triple characterization through deterministic two-way transducers (2DFT), streaming string transducers (SST) and MSO definable functions. This result has recently been lifted to FO definable functions, with equivalent representations by means of aperiodic 2DFT and aperiodic 1-bounded SST, extending a well-known result on regular languages. In this paper, we give three direct transformations: i) from 1-bounded SST to 2DFT, ii) from 2DFT to copyless SST, and iii) from k-bounded to 1-bounded SST. We give the complexity of each construction and also prove that they preserve the aperiodicity of transducers. As corollaries, we obtain that FO definable string-to-string functions are equivalent to SST whose transition monoid is finite and aperiodic, and to aperiodic copyless SST

On the Computational Complexity of MapReduce

In this paper we study MapReduce computations from a complexity-theoretic perspective. First, we formulate a uniform version of the MRC model of Karloff et al. (2010). We then show that the class of regular languages, and moreover all of sublogarithmic space, lies in constant round MRC. This result also applies to the MPC model of Andoni et al. (2014). In addition, we prove that, conditioned on a variant of the Exponential Time Hypothesis, there are strict hierarchies within MRC so that increasing the number of rounds or the amount of time per processor increases the power of MRC. To the best of our knowledge we are the first to approach the MapReduce model with complexity-theoretic techniques, and our work lays the foundation for further analysis relating MapReduce to established complexity classes

Acompanhamento de pacientes submetidos à cirurgia bariátrica : aspectos laboratoriais nos períodos pré e pós-operatório

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências da Saúde, Programa de Pós-Graduação em Farmácia, Florianópolis, 2017A obesidade é uma doença crônica e endócrino-metabólica caracterizada pelo acúmulo excessivo de triacilgliceróis no tecido adiposo, capaz de ser revertida ou amenizada através de intervenção cirúrgica. Epidemiologicamente têm sido descritas associações entre o excesso de peso, resistência à insulina e processo inflamatório crônico. Além disso, nas últimas décadas o sistema complemento foi associado a doenças metabólicas e cardiovasculares e intimamente relacionado com a obesidade e resistência à insulina. Sendo assim, a melhora do estado metabólico e a remissão da inflamação em pacientes obesos submetidos à cirurgia bariátrica foram avaliadas, bem como a associação dos fatores 3 e 4 (C3 e C4) do sistema complemento com a sensibilidade à insulina e a perda de peso após a cirurgia bariátrica. Para isso, a presença de comorbidades e as concentrações séricas de leptina, adiponectina, resistina e grelina foram avaliados em pacientes obesos mórbidos antes, 1, 3 e 6 meses após a cirurgia bariátrica. Também foram medidas as concentrações de IL-1ß, IL-6, TNF-a, proteína amiloide sérica A (SAA), proteína quimiotática de monócitos 1 (MCP-1), C3, C4, glicose, insulina, colesterol total, triacilglicerol, LDL- colesterol, HDL-colesterol e foi realizado o cálculo do modelo de avaliação da homeostase da resistência à insulina (HOMA-IR) durante o seguimento da cirurgia, bem como em comparação com um grupo de indivíduos não-obesos. Como resultado, observou-se uma redução significativa de peso acompanhada de melhora do perfil lipídico, da sensibilidade à insulina e das comorbidades. Ainda, houve diminuição de leptina e aumento de adiponectina no período pós-cirúrgico. IL-1ß, IL-6, TNF-a, MCP-1 e SAA não mostraram diferença no acompanhamento da cirurgia, porém SAA correlacionou-se com o IMC e apresentou-se muito mais alto no grupo de pacientes obesos. Além disso, C3 e C4 foram significativamente maiores em indivíduos obesos quando comparados aos indivíduos não-obesos e C3 e C4 foram positivamente correlacionados com HOMA-IR e as concentrações de C3 foram significativamente diminuídas após a cirurgia. Com base nesses resultados, a cirurgia bariátrica mostrou melhorar o estado metabólico melhorando as comorbidades associadas à obesidade e os biomarcadores de adiposidade leptina e adiponectina, mas não os demais hormônios e citocinas inflamatórias e C3 e C4 foram fortemente associados à sensibilidade à insulina.Abstract: Obesity is a chronic and endocrine-metabolic disease characterized by triacylglycerol accumulation in the adipose tissue, which can be reversed or improved through surgical intervention. Epidemiologically, associations between overweight, insulin resistance and chronic inflammatory process have been described. Furthermore, in the last decades the complement system was associated with metabolic and cardiovascular diseases and related to obesity and insulin resistance. Thus, metabolic status improvement and inflammation remission in obese patients undergoing bariatric surgery were evaluated, as well as the association of complement system factors 3 and 4 (C3 and C4) with insulin sensitivity and weight loss after bariatric surgery. For this, comorbidities and leptin, adiponectin, resistin and ghrelin serum concentrations were evaluated in morbidly obese patients before, 1, 3 and 6 months after bariatric surgery. IL-1ß, IL-6, TNF-a, serum amyloid A protein (SAA), monocyte chemotactic protein 1 (MCP-1), C3, C4, glucose, insulin, total cholesterol, triacylglycerol, LDL-cholesterol, HDL-cholesterol concentrations and the calculation of the homeostasis model of insulin resistance (HOMA-IR) were performed during the surgery follow-up, as well in a group of non-obese individuals. As a result, significant weight loss followed by improvement in lipid profile, insulin sensitivity and comorbidities were observed. Still, there was a decrease in leptin and an increase in adiponectin in the postoperative period. IL-1ß, IL-6, TNF-a, MCP-1 and SAA showed no difference after surgery, but SAA correlated with BMI and was much higher in obese patients. In addition, both C3 and C4 were significantly higher in obese individuals when compared to lean individuals and positively correlated with HOMA-IR. C3 concentrations were significantly decreased after surgery. Based on these results, bariatric surgery has been shown to improve metabolic status by improving obesity-associated comorbidities and adiposity biomarkers leptin and adiponectin but not the other hormones and inflammatory cytokines and C3 and C4 were strongly associated with insulin sensitivity

Correct answers to allowed programs and queries are ground

AbstractCavedon and Lloyd have shown that if P is an allowed and stratified program and G an allowed goal, then all correct answers to comp(P) ∪ {G} are ground. We show that the restriction that P be stratified can be replaced by the weaker condition that comp(P) is consistent